Web Service Automatic Composition Model Based on Colored Petri Nets
نویسندگان
چکیده
As the capability of an individual Web service is limited, it’s necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incorporating some existing web services together. A model based colored Petri net (CPN) to provide semantic support for web service composition is proposed. The basic composite constructs in the model are sequence, concurrent, choice and loop. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Finally modeling composite processes of Web services based on CPN is applied to a case of naval vessel command and control system.
منابع مشابه
Research of The Web Service Automatic Composition based on Generalized Stochastic Petri Nets
Web services need to be orchestrated to achieve complex demand. However, existing approaches on Web service composition are mainly based on syntax match. It is very difficult to compose heterogeneous Web services with syntax in accord with function. Gradually, Petri net becomes a powerful system modeling and analysis tools research discrete event dynamic system. In order to solve this problem, ...
متن کاملPetri Net Based Semantic Web Service Composition
Automatic composition of Web services is a challenging task as independently developed Web services are not always compatible with each other. In order to resolve the heterogeneity between Web services and improve the quality of Web service composition, we propose a new approach based on semantics for Web service composition, which widely deploys Petri Nets and ontology. This paper proposes a f...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملA Colored Petri Nets Model for Diagnosing Semantic Faults of BPEL Services ?
The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for e...
متن کاملA Colored Petri Nets Model for Diagnosing Data Faults of BPEL Services ?
The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for e...
متن کامل